CAMILO E PROUST: APROXIMAÇÕES

Programação matemática e imersões métricas para aproximações em problemas de corte

In this work, we present a theoretical study about NP-hard optimization problems of cuts in graphs and the state of the art in approximation algorithms that use techniques of mathematical programming and of metric spaces. Three problems of cuts in graphs were modeled by integer mathematical programs and they are relaxed to admit solutions with continuous values. The solution of these programs d...

Reading fiction and the psychoanalytic experience: Proust on reading and on reading Proust.

Reading can at times engage one emotionally and entail inner psychological experiences in ways akin to those in clinical psychoanalysis. In that light, after a general introduction regarding the import of reading, attention is turned to Proust, Freud's literary complement, as an exemplary instance to illustrate those similarities. Ideas of Proust on reading are followed by thoughts on reading P...

Proust: A Nano Proof Assistant

Proust is a small Racket program offering rudimentary interactive assistance in the development of verified proofs for propositional and predicate logic. It is constructed in stages, some of which are done by students before using it to complete proof exercises, and in parallel with the study of its theoretical underpinnings, including elements of Martin-Löf type theory. The goal is twofold: to...

Proust, Kolb, Kolb-Proust : emboîtement d''écritures autour de l''écriture

RÉSUMÉ. La bibliothèque de l’Université d’Illinois développe depuis 1994 un outil hypertexte qui rassemble des sources secondaires sur la vie littéraire, artistique et mondaine en France pour la période 1870-1925, à partir des 40 000 fiches de recherche constituées par le professeur Kolb pour son édition de la correspondance de Marcel Proust. L’insertion de métadonnées, de liens hypertextes et ...

Kant, Proust, and the Appeal of Beauty